Nuprl Definition : ma-prob
11,40
postcript
pdf
ma-prob(
M
;
b
) == (
M
.2.2.2.2.2.2.2.2.2.2.2).1(
b
)?*1*
latex
clarification:
ma-prob(
M
;
b
) == fpf-cap((
M
.2.2.2.2.2.2.2.2.2.2.2).1;IdDeq;
b
;*1*)
latex
Definitions
f
(
x
)?
z
,
t
.1
,
t
.2
,
IdDeq
,
*1*
FDL editor aliases
ma-prob
origin